reduction relation

un. 归约关系